$S$ Ideal of $R$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$S$ SubGrp of $R$$\downarrow$+gp \& ($\forall$$a$:$\mid$$R$$\mid$, $b$:$\mid$$R$$\mid$. ($S$($a$)) $\Rightarrow$ ($S$($a$ ($\ast$$R$) $b$)))